منابع مشابه
On Corecursive Algebras for Functors Preserving Coproducts
For an endofunctor H on a hyper-extensive category preserving countable coproducts we describe the free corecursive algebra on Y as the coproduct of the final coalgebra for H and the free Halgebra on Y . As a consequence, we derive that H is a cia functor, i.e., its corecursive algebras are precisely the cias (completely iterative algebras). Also all functors H(−) + Y are then cia functors. For...
متن کاملProduct Preserving Functors of Infinite Dimensional Manifolds
The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of C∞-algebras.
متن کاملGood Functors... are Those Preserving Philosophy
The aim of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis functor when dealing with so-called loose semantics in a hierarchical approach. All our results and counter-examples are very simple, nevertheless they shed light on many common errors in the abstract specification ...
متن کاملProduct Preserving Bundle Functors on Multifibered and Multifoliate Manifolds
We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds. 2000 Mathematics Subject Classificatio...
متن کاملDouble - Pullback Transitions
The aim of this paper is an extension of the theory of graph transformation systems in order to make them suitable for the speciication of reactive systems. For this purpose two main extensions of the algebraic theory of graph transformations are proposed. Firstly, graph transitions are introduced as a loose interpretation of graph productions, deened using a double pullback construction in con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1991
ISSN: 0022-4049
DOI: 10.1016/0022-4049(91)90106-c